A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

Some computational experiments in number theory Wieb Bosma Mathematisch Instituut Radboud University Nijmegen Nijmegen, the Netherlands

Source URL: www.math.ru.nl

• Abstract algebra
• Algebra
• Mathematics
• Modular arithmetic
• Algebraic number theory
• Quadratic residue
• Covering system
• Prime number
• Reciprocity law
• Cubic reciprocity
• Modulus
• Chinese remainder theorem

A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Philosophy of mathematics
• Logic
• Philosophy
• Mathematical logic
• Epistemology
• Formal sciences
• Constructivism
• Foundations of mathematics
• Intuitionism
• Finitary
• Formalism

Bounds on the Bethe Free Energy for Gaussian Networks Botond Cseke Faculty of Science Radboud University Nijmegen Toernooiveld 1, 6525 ED

Source URL: uai2008.cs.helsinki.fi

Boneh-Franklin Identity Based Encryption Revisited David Galindo Institute for Computing and Information Sciences Radboud University Nijmegen P.O.BoxGL, Nijmegen, The Netherlands.

Source URL: www.dgalindo.es

• Cryptography
• Identity-based cryptography
• Public-key cryptography
• Elliptic curve cryptography
• Pairing-based cryptography
• Ciphertext indistinguishability
• Chosen-ciphertext attack
• ID-based encryption
• Advantage
• Encryption
• BonehFranklin scheme
• Ciphertext

Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009

Source URL: www.cs.ru.nl

• Theoretical computer science
• Mathematics
• Logic
• Mathematical logic
• Formal languages
• Logic in computer science
• Automated theorem proving
• Logic programming
• Rewriting
• Confluence
• Rewrite order
• Substitution

Analysis of the MIFARE Classic used in the OV-Chipkaart project Gerhard de Koning Gans Radboud University Nijmegen Supervisors

Source URL: www.proxmark.org

Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Category theory
• Mathematics
• Theoretical computer science
• Software engineering
• Functional programming
• Computer programming
• Recursion
• F-coalgebra
• Coinduction
• Coalgebra
• Corecursion
• First-order logic

A Practical Attack on the MIFARE Classic Gerhard de Koning Gans, Jaap-Henk Hoepman, and Flavio D. Garcia Institute for Computing and Information Sciences Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The N

Source URL: www.proxmark.org

The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Computability theory
• Lambda calculus
• Recursion
• Theoretical computer science
• Type theory
• Combinatory logic
• Church encoding
• Initial algebra
• Primitive recursive function